acm sigbed
|
emsoft
|
participants
Nicole Fronda
EMSOFT 2022: 22nd International Conference on Embedded Software
Differentiable Inference of Temporal Logic Formulas
Nicole Fronda
and
Houssam Abbas
10.1109/TCAD.2022.3197506
https://arxiv.org/abs/2208.05440